1. Automated deduction for projection elimination
پدیدآورنده : / Vhristoph Wernhard.,ورنهارد,Wernhard
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : شناختنمایی (نظریه اطلاعات),معنیشناسی
رده :
Q
۳۸۷
/
و
۴
آ
۲ ۱۳۸۸